$\forall$$s$:DSet, $Q$:($\mid$$s$$\mid\rightarrow\mathbb{P}$). \{$x$:$s$$\mid$ $Q$($x$) \} $\in$ DSet